Java内存模型总结-final

1、final域的重排序规则

• 在构造函数内对一个final域的写入，与将final对象赋值给引用变量，这两个操作之间不能重排序
• 初次读取final域的对象引用，与初次读取final域对象，这两个操作之间不能重排序

2、写final域的重排序规则

• JMM禁止编译器把final域的写重排序到构造函数之外
• JMM会在final域的写之后，构造函数return之前，插入一个storestore屏障。禁止final域的写重排序到构造函数之外

写final域的重排序规则确保：在对象引用为任意线程可用之前，对象的final域已经被正确初始化，普通域不具有这个保障。

3、读final域的重排序规则

读final域的重排序规则保证：在读一个final域之前，一定先读该final域的对象的引用。

4、final域为引用类型

在构造函数内对一个final引用的对象的成员域的写入，与随后在构造函数外把构造的对象的引用赋值给一个引用变量，这两个操作之间不能重排序。

5、JSR-133为什么要增强final语义

只要对象是正确构造的（被构造对象的引用在构造函数中没有溢出），那么不需要使用同步（指lock与volatile的使用）就可以保证任意函数都可以看到final域在构造函数内被初始化后的值。